Formal and logic-based engineering for safety and accountability.

Founded by leading researchers from ERATO MMSD, a renowned research group in theoretical computer science, we are a technology startup dedicated to enhancing the safety and reliability of complex systems. Drawing on a foundation of world-class research in temporal logic and formal verification, we develop innovative tools and techniques for specifying and verifying system behaviour. Our expertise enabled us to address the critical challenge of ensuring safety, reliability and accountability in systems with unpredictable or opaque AI components.

Join the team

We're looking for great people to join us. See our hiring page to see what sort of people we're looking for and register your interest.

Hiring Apply

Seed round

We've closed our seed round to advance temporal logic and formal verification, enhancing safety, reliability, and accountability in complex systems.

Read press release

Feed

title

Keep calculations out of your effectful code

date
2024-12-19
tags
Tech Blog haskell
author
James Haydon
summary
We often hear that we should strive for function purity for many reasons: referential transparency, testability, easier to reason about, etc. But what about when effects are necessary? This post presents a methodology for keeping effectful code clean.
title

Imiron has raised 60 million JPY in a seed round

date
2024-12-04
tags
Press Release
summary
Imiron Co., Ltd., which provides safeguarding and logical explanation technologies for advanced information technologies, including automated driving and generative AI, that will significantly change the nature of society, has raised 60 million JPY in a seed round, with Abelia Capital LLC as the underwriter. With this funding, Imiron aims to further research and development and expand its organization to further enhance reliable system design services based on the power of logic.
title

Imiron Co., Ltd. has been launched.

date
2024-08-20
tags
Press Release
summary
Based on the results of the JST START Start-up Demonstration Support (Subject name: Realisation of full-scale dissemination of automated driving through logical explanation technology for software quality; Principal investigator: Ichiro Hasuo, National Institute of Informatics (NII)), Imiron Co., Ltd. was established. By providing formal logic based safeguarding and logical explanation technologies for advanced information technologies, including automated driving and generative AI, that will significantly change the nature of society, we will accelerate the social acceptance of such system and contribute to the realisation of a human-centred, safe and secure information society.
title

We're hiring

summary
We’re growing fast. We’ve got lots of challenging engineering work to do. If you are interested in joining Imiron, see our hiring page.